WEGE ZU EFFEKTIVEN BAUTECHNOLOGISCHEN LOESUNGEN IM KRAFTWERKSBAU = PATHS FOR EFFICIENT TECHNICAL CONSTRUCTIVE SOLUTIONS IN POWER PLANT CONSTRUCTION = VERS UNE TECHNOLOGIE EFFICACE DANS LA CONSTRUCTION DES CENTRALESHEIN W; MATZ O.1980; BAUPLAN. BAUTECH.; DDR; DA. 1980; VOL. 34; NO 1; PP. 20-21; BIBL. 5 REF.Article

On piecewise testable, starfree, and recognizable picture languagesMATZ, O.Lecture notes in computer science. 1998, pp 203-210, issn 0302-9743, isbn 3-540-64300-1Conference Paper

One quantifier will do in existential monadic second-order logic over picturesMATZ, O.Lecture notes in computer science. 1998, pp 751-759, issn 0302-9743, isbn 3-540-64827-5Conference Paper

The automata theory package omegaVÖGE, J; ULBRAND, S; MATZ, O et al.Lecture notes in computer science. 1998, pp 228-231, issn 0302-9743, isbn 3-540-64694-9Conference Paper